Большой энциклопедический словарь - непротиворечивость
Непротиворечивость
непротиворечивость
Рейтинг статьи:
См. в других словарях
1.
Непротиворечивость, совместимость, свойство дедуктивной теории (или системы аксиом, посредством которых теория задается), состоящее в том, что из нее нельзя вывести противоречие, т. е. какие-либо два предложения А и O А, каждое из которых является отрицанием другого. Для широкого класса формальных теорий, включающих аксиому А & O А E В («из противоречия следует любое утверждение»), Н. равносильна существованию в данной теории хотя бы одного недоказуемого предложения. Н., необходимая для того чтобы система могла рассматриваться как описание некоторой «содержательной ситуации», отнюдь не гарантирует существования такой ситуации. Впрочем, для любой непротиворечивой системы аксиом в каждом случае могут быть указаны абстрактные модели; поэтому для представителей «классических» направлений в основаниях математики и логики (и тем более для представителей моделей теории) Н. служит если и не обоснованием «существования» описываемых аксиомами совокупностей абстрактных объектов, то, по крайней мере, достаточным основанием для содержательного рассмотрения и изучения таких объектов. Поскольку описываемая теорией «ситуация»...Большая советская энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5276 | |
2 | 2771 | |
3 | 2664 | |
4 | 2645 | |
5 | 2168 | |
6 | 2165 | |
7 | 1918 | |
8 | 1768 | |
9 | 1762 | |
10 | 1734 | |
11 | 1483 | |
12 | 1479 | |
13 | 1384 | |
14 | 1331 | |
15 | 1291 | |
16 | 1253 | |
17 | 1243 | |
18 | 1158 | |
19 | 1141 | |
20 | 1064 |